product of two relations

[数] 两个关系的积